Functional Form of Nonmanipulable Social Choice Functions with Two Alternatives

We propose a new functional form characterization of binary nonmanipulable social choice functions on universal domain and an arbitrary, possibly infinite, set agents. In order to achieve this, we considered the more general case two-valued describe structure family consisting groups agents having no power determine values function. With help such structure, introduce class that call powerless revealing show are ones.